Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Artículo |
A typed assembly language for non-interference : | Medel, Ricardo H. |
(2005) |
---------- | |
Artículo |
Boxed ambients with communication interfaces : | Bonelli, Eduardo |
(2004) |
---------- | |
Artículo |
Correspondence assertions for process synchronization in concurrent communications : | Bonelli, Eduardo |
(2005) |
---------- | |
Artículo |
Information flow analysis for a typed assembly language with polymorphic stacks : | Bonelli, Eduardo |
(2006) |
---------- | |
Artículo |
Multipoint session types for a distributed calculus : | Bonelli, Eduardo |
(2008) |
---------- | |
Artículo |
Non-interference for a typed assembly language : | Medel, Ricardo H. |
(2005) |
---------- | |
Artículo |
Typechecking safe process synchronization : | Bonelli, Eduardo |
(2004) |
---------- |